Computational Inference for Evidential Reasoning in Support of Judicial Proof
نویسندگان
چکیده
Judicial proof accrues evidence to confirm or deny hypotheses about world events relevant to a legal case. Software applications that seek to support the process of judicial proof must provide the user with sophisticated capabilities to represent and manipulate evidential reasoning for legal cases. This requires computational techniques to represent the actors, entities, events and context of world situations, to structure alternative hypotheses interpreting evidence, and to execute processes that draw inferences about the truth of hypotheses by assessing the relevance and weight of evidence to confirm or deny the hypotheses. Bayesian inference networks are combined with knowledge representations from artificial intelligence to structure and analyze evidential argumentation. The infamous 1994 Raddad murder trial in Nice, France provides a backdrop against which we illustrate the application of these techniques to evidential reasoning in support of judicial proof.
منابع مشابه
The evidential foundations of probabilistic reasoning: toward a better understanding of evidence and its usage
“The Evidential Foundations of Probabilistic Reasoning” by David A. Schum “. . . contains a collection of thoughts . . . ” (p. 1) on issues related to evidence and to inference tasks based on evidence. The study of such issues is best summarized by an expression introduced in chapter 1: “Science of Evidence.” The Science of Evidence tries “. . . to treat the study of evidence as having a life o...
متن کاملLogical and Probabilistic Reasoning to Support Information Analysis in Uncertain Domains
Formal logical tools are able to provide some amount of reasoning support for information analysis, but are unable to represent uncertainty. Bayesian network tools represent probabilistic and causal information, but in the worst case scale as poorly as some formal logical systems and require specialized expertise to use effectively. We describe a framework for systems that incorporate the advan...
متن کاملComprehensive Decision Modeling of Reverse Logistics System: A Multi-criteria Decision Making Model by using Hybrid Evidential Reasoning Approach and TOPSIS (TECHNICAL NOTE)
In the last two decades, product recovery systems have received increasing attention due to several reasons such as new governmental regulations and economic advantages. One of the most important activities of these systems is to assign returned products to suitable reverse manufacturing alternatives. Uncertainty of returned products in terms of quantity, quality, and time complicates the decis...
متن کاملProcess, structure and modularity in reasoning with uncertainty
A computational approach to uncertainty management requires support for interactive and incremental problem formulation, inference, hypothesis testing, and decision making. Most current uncertainty inference systems concentrate primarily on inference, and provide no sup port for the larger issues. We present a computational approach to uncertainty management which provides direct support for t...
متن کاملThe Architecture of Inference from SMT to ETB
Modularity plays a central role in logical reasoning. We want to be able to reuse proofs, proof patterns, theories, and specialized reasoning procedures. Architectures that support modularity have been developed at all levels of inference: SAT solvers, theory solvers, combination solvers and rewriters, SMT solvers, simplifiers, rewriters, and tacticsbased interactive theorem provers. Prior work...
متن کامل